On the Completeness of Quantum Computation Models

نویسندگان

  • Pablo Arrighi
  • Gilles Dowek
چکیده

The notion of computability is stable (i.e. independent of the choice of an indexing) over infinite-dimensional vector spaces provided they have a finite “tensorial dimension”. Such vector spaces with a finite tensorial dimension permit to define an absolute notion of completeness for quantum computation models and give a precise meaning to the Church-Turing thesis in the framework of quantum theory.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Theoretical computation of the quantum transport of zigzag mono-layer Graphenes with various z-direction widths

The quantum transport computations have been carried on four different width of zigzag graphene using a nonequilibrium Green’s function method combined with density functional theory. The computed properties are included transmittance spectrum, electrical current and quantum conductance at the 0.3V as bias voltage.  The considered systems were composed from one-layer graphene sheets differing w...

متن کامل

Theoretical computation of the quantum transport of zigzag mono-layer Graphenes with various z-direction widths

The quantum transport computations have been carried on four different width of zigzag graphene using a nonequilibrium Green’s function method combined with density functional theory. The computed properties are included transmittance spectrum, electrical current and quantum conductance at the 0.3V as bias voltage.  The considered systems were composed from one-layer graphene sheets differing w...

متن کامل

Photosensitization of coronene–purine hybrids for photodynamic therapy

Photosensitization properties of coronene-purine (Cor-P) hybrids for photodynamic therapy (PDT) have been investigated in this work. Eight hybrid Cor-P models have been designed by the additional of adenine (A) and guanine (G) nucleobase to Cor species. The evaluated absorption and emission energies indicated that the singular models are not good at all for PDT process whereas their hybrid mode...

متن کامل

Completeness of classical spin models and universal quantum computation

We study mappings between distinct classical spin systems that leave the partition function invariant. As recently shown in [Phys. Rev. Lett. 10

متن کامل

Computational Computation of the Efferene Structure on the Para phenylene diamine

In this study, the effect of fullerene electron mobility on the composition of paraphenylenediamine and stability was studied. Using quantum chemistry calculations, the first combination of paraffenylenediamine in a single-full-time region connected with fullerene through carbon atoms was reported. Experimental research was simulated and optimized using GIS software. Then the NBO calculations w...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010